A. M. Dantsin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Two systems for proving tautologies, based on the split method

Journal:

Journal of Mathematical Sciences

Year:

1983

Language:

english

File:

PDF, 1.10 MB

english, 1983

2

Probabilistic verification of proofs in calculuses

Journal:

Journal of Mathematical Sciences

Year:

2000

Language:

english

File:

PDF, 930 KB

english, 2000

3

MAX SAT approximation beyond the limits of polynomial-time approximation

Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev

Journal:

Annals of Pure and Applied Logic

Year:

2001

Language:

english

File:

PDF, 119 KB

english, 2001

4

A deterministic (2−2/(k+1))n algorithm for k-SAT based on local search

Evgeny Dantsin, Andreas Goerdt, Edward A Hirsch, Ravi Kannan, Jon Kleinberg, Christos Papadimitriou, Prabhakar Raghavan, Uwe Schöning

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 137 KB

english, 2002

5

An electronic circuit for measuring refrigerant level and controlling heat production power in cryotherapeutic devices

A. V. Vanyushin, A. M. Dantsin, N. V. Zagorodnii, Yu. M. Faresov

Journal:

Biomedical Engineering

Year:

1993

Language:

english

File:

PDF, 202 KB

english, 1993

6

On an approximative version of the notion of constructive analytic function

Journal:

Journal of Mathematical Sciences

Year:

1980

Language:

english

File:

PDF, 447 KB

english, 1980

7

Randomized proofs in arithmetic

Journal:

Journal of Mathematical Sciences

Year:

1997

Language:

english

File:

PDF, 1.12 MB

english, 1997

8

Population Variance under Interval Uncertainty: A New Algorithm

Evgeny Dantsin, Vladik Kreinovich, Alexander Wolpert, Gang Xiang

Journal:

Reliable Computing

Year:

2006

Language:

english

File:

PDF, 184 KB

english, 2006

9

[IEEE Comput. Soc Computational Complexity. Twelfth Annual IEEE Conference - Ulm, Germany (24-27 June 1997)] Proceedings of Computational Complexity. Twelfth Annual IEEE Conference - Complexity and expressive power of logic programming

Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.

Year:

1997

Language:

english

File:

PDF, 2.03 MB

english, 1997

10

A ROBUST DNA COMPUTATION MODEL THAT CAPTURES PSPACE

DANTSIN, EVGENY, WOLPERT, ALEXANDER

Journal:

International Journal of Foundations of Computer Science

Year:

2003

Language:

english

File:

PDF, 1004 KB

english, 2003

11

Nikolai Aleksandrovich Shanin (obituary)

Vsemirnov, M A, Hirsch, È A, Grigor'ev, D Yu, Davydov, G V, Dantsin, E Ya, Zaslavskii, I D, Karavaev, E F, Konev, B Yu, Kossovskii, N K, Lifschitz, V A, Margenstern, M, Matiyasevich, Yu V, Mints, G E,

Journal:

Russian Mathematical Surveys

Year:

2013

Language:

english

File:

PDF, 140 KB

english, 2013

12

Tailoring singlewalled carbon nanotubes for hydrogen storage

Haas, M.K., Zielinski, J.M., Dantsin, G., Coe, C.G., Pez, G.P., Cooper, A.C.

Journal:

Journal of Materials Research

Year:

2005

Language:

english

File:

PDF, 2.33 MB

english, 2005

13

Complexity and expressive power of logic programming

Dantsin, Evgeny, Eiter, Thomas, Gottlob, Georg, Voronkov, Andrei

Journal:

ACM Computing Surveys

Year:

2001

Language:

english

File:

PDF, 540 KB

english, 2001

14

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Quantum versions of k-CSP algorithms

Dantsin, Evgeny, Wolpert, Alexander, Kreinovich, Vladik

Year:

2006

Language:

english

File:

PDF, 132 KB

english, 2006

15

[ACM Press the nineteenth ACM SIGMOD-SIGACT-SIGART symposium - Dallas, Texas, United States (2000.05.15-2000.05.18)] Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '00 - Expressive power and data complexity of nonrecursive query languages for lists and trees (extended abstract)

Dantsin, Evgeny, Voronkov, Andrei

Year:

2000

Language:

english

File:

PDF, 193 KB

english, 2000

16

A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length

Dantsin, Evgeny, Wolpert, Alexander

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2005

File:

PDF, 198 KB

2005